Chen Hao - PDFSEARCH.IO - Document Search Engine

Chen Hao
Results: 64

#	Item
41	Letter pubs.acs.org/NanoLett A Fully Integrated Nanosystem of Semiconductor Nanowires for Direct Solar Water Splitting Chong Liu,†,§ Jinyao Tang,† Hao Ming Chen,† Bin Liu,† and Peidong Yang,†,‡,§ Add to Reading List Source URL: www.chemistry.hku.hk Language: English* - Date: 2015-05-06 04:34:26 Technology Nanowire Solar cells Oxides Photochemistry Heterojunction Artificial photosynthesis Titanium dioxide Transistor Chemistry Nanoelectronics Electronics
42	The CDSN Report to the FDSN CDSN: Present Status and Future Development G. W. Zhou, X. L. Liu, L. S. Xu, C. Y. Hao, Z. L. Wu, and Y. T. Chen Institute of Geophysics, China Seismological Bureau, Beijing, China Add to Reading List Source URL: www.fdsn.org Language: English - Date: 2011-07-14 15:55:05 76 Passive solar building design Broadband Construction Architecture Technology Seismometer
43	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Model theory Data management Mathematical notation Tuple Type theory Symbol Finitary relation Structure First-order logic Mathematics Mathematical logic Logic
44	1 In-Memory Big Data Management and Processing: A Survey Hao Zhang, Gang Chen, Member, IEEE, Beng Chin Ooi, Fellow, IEEE, Kian-Lee Tan, Member, IEEE, Meihui Zhang Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2015-01-16 15:41:38 Database management systems Computer memory Transaction processing Relational database management systems In-memory database Column-oriented DBMS Oracle Database TimesTen Online transaction processing Computing Data management Data
45	A First Look at Firefox OS Security Daniel DeFreez∗ , Bhargava Shastry† , Hao Chen∗ , Jean-Pierre Seifert† ∗ University of California, Davis {dcdefreez, chen}@ucdavis.edu Add to Reading List Source URL: mostconf.org Language: English - Date: 2014-05-17 09:18:10 Scripting languages Cryptographic protocols Secure communication Firefox Google Chrome JavaScript Transport Layer Security Opera Mobile application development Software Web browsers Portable software
46	Setuid Demystified∗ Hao Chen David Wagner University of California at Berkeley {hchen,daw}@cs.berkeley.edu Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 System software User identifier Group identifier Setuid Filesystem permissions Principle of least privilege Privilege separation Linux kernel System call Unix Software Computing
47	A First Look at Firefox OS Security Daniel DeFreez, Bhargava Shastry† Hao Chen, Jean-Pierre Seifert† Add to Reading List Source URL: mostconf.org Language: English - Date: 2014-05-20 11:43:11 Software Firefox JavaScript
48	extras T HE PLAYER characters will encounter a host of Add to Reading List Source URL: www.firedrake.org Language: English - Date: 2008-06-27 20:10:18 Li Kui Yan Qing Zhang Qing Lin Chong Hao Siwen Lu Zhishen Huyan Zhuo Peng Qi Chen Da 36 Heavenly Spirits 72 Earthly Fiends Lu Junyi
49	Submitted to the 2004 IEEE Symposium on Security and Privacy, Oakland, CA 2004 Exploring Static Checking for Software Assurance SRL Technical Report SRL[removed]Hao Chen Add to Reading List Source URL: srl.cs.jhu.edu Language: English - Date: 2007-09-20 09:41:43 Linux Kernel Microkernel Linux kernel Model checking EROS Thread Architecture of Windows NT Mach Computer architecture Software System software
50	A Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Propositional calculus Symbol Substitution Function Tuple First-order logic TQ Mathematics Mathematical logic Logic